Books by author Michael Leuschel

Showing 1 – 4 out of 4 results

1. 

   Formal Methods for Components and Objects

   Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.87 €

   Buy
2. 

   Rigorous State-Based Methods

   Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   74.23 €

   Sale 9 %

   You save 8.24 €

   Buy
3. 

   Rigorous State-Based Methods

   Michael Leuschel, Fuyuki Ishikawa | Springer, Berlin, 2025

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   133.43 €

   Sale 7 %

   You save 11.09 €

   Buy
4. 

   Integrated Formal Methods

   Michael Leuschel, Heike Wehrheim | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy

We send books in special cardboard delivery boxes. Find out more